大家在查： format contract formation of man-made fibre formation pressure formation tester formation water formal theory formal system arrangement formal synthesis formal rule formal operational thinking

Formal Verification

美英

n.形式验证
网络形式化验证；正式验证；正规验证

Formal Verification

英-汉网络释义

Formal Verification

形式验证

形式验证（Formal Verification）是一种IC设计的验证方法，它的主要思想是通过使用形式证明的方式来验证一个设计的功能是 …

形式化验证

part 2 ... functional verification: 功能验证 formal verification: 正式验证|形式化验证|正规验证 episode: 逸事|插曲|情节 ...

正式验证

IT专业英语词典-F ... formal testing 正式测试 formal verification 正式验证 format 格式；格式化 ...

正规验证

...於系统验证的设计流程及与设计实现的关系，图中采用了正规验证(Formal Verification)工具来验证不同阶段设计描述的正确性…

功能验证

这些项目除了前面已经提过的，还包括功能验证(formal verification)、XML、开放式脚本语言(open scripting languages)、微机 …

型式验证

「型式验证」( Formal Verification ) 的技术需求，张秋铭看到了，因此他成立了Verplex。身为管理者及营运者，他一方面坚持 …

正规化验证

4.1 正规化验证(Formal Verification) 334.2 验证工具的选择 344.3 系统分析 364.4 系统的建构与模拟 404.5 系统验证 434.6 验 …

例句：

Formal verification , although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design .

尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。

Randal Bryant, CMU professor , for his seminal technological breakthroughs in the area of formal verification .

卡耐基梅隆教授，由于他在形式验证方面的奠基性贡献。

A typical flow of formal verification is shown in Figure 1 . 5 .

形式验证的典型流程如图 1 所示。

During formal verification , the decision from a equivalence checker is clear-cut .

在形式验证中，来自等价性检查器的结果是明确的。

Many factors can betray the confidence offered by formal verification .

许多因素能够降低形式验证提供的信心度。

The other type of formal verification is property checking .

另外一种形式验证是特性检查。

Even today , formal verification is mainly a research area .

甚至现在，形式验证主要地用于研究领域。

What is your perspective on the impact of system modeling on formal verification ?

你如何看待的影响的系统建模的形式化验证？

Formal Verification of Hybrid Systems and Its Application on Chemical Process Control

逻辑控制器的形式验证及其应用

Lightweight Formal Verification Method of Mission Space Conceptual Model Research

任务空间概念模型轻量级形式化校核方法初探

Formal Verification Techniques for Security Protocols

安全协议中的形式化验证技术

The Approaches and Technologies for Formal Verification of Security Protocols

安全协议的形式化分析技术与方法

Formal Verification Techniques in Workflow Process Modeling

工作流过程建模中的形式化验证技术

Formal Verification

Formal Verification

形式验证

形式化验证

正式验证

正规验证

功能验证

型式验证

正规化验证

热词推荐

大家在看